axiomatically true

Translations
vrai de façon axiomatique